enum V {
  A
}

struct S {
  a : Int
}

type! E {
  A
}